I've had a read around and can't spot this as a feature
or in the pipleline, so hopefully I'm not duplicating
anything by mentioning it on SF.
Ideally it would be great if jEdit could just use
system settings for scrolling... but if not, would it
be possible to make the default action and actions for
scrolling with modifier keys configurable by the user?
eg, default scroll = screen, shift+scroll = 12 lines,
ctrl+scroll = 3 lines, etc.
(Personally I switched some lines around and recompiled
to get "screen" as the default -- but it seems as
though it might be a very useful option to have
adjustable through the GUI for other users. Sorry, I've
no real idea about where to start with coding in Java
or I'd do it and offer the result.)
Submitted | denyer - 2006-08-02 - 20:05:10z | Assigned | kpouer |
---|---|---|---|
Priority | 5 | Category | core |
Status | Open | Group | None |
Resolution | None | Visibility | No |
2009-02-17 - 21:12:55z gabebear |
Update: This caused bug 1941062 ( https://sourceforge.net/tracker/?func=detail&atid=100588&aid=1941062&group_id=588 ). Apple sends a shift+scroll to Java programs on a horizontal scroll as of OSX v10.5 The fix performed was to change shift+scroll to horizontal scrolling for everyone... http://jedit.svn.sourceforge.net/viewvc/jedit/jEdit/trunk/org/gjt/sp/jedit/textarea/TextArea.java?r1=14664&r2=14663&pathrev=14664 The original functionality, a.k.a. page-scrolling via the scroll wheel, is now lost. The OSX issue still exists in Alt+Shift+Scroll. |
---|---|
2009-02-17 - 21:14:51z gabebear |
Addition to the original request: Please add page-scrolling back, both on the horizontal and the vertical! |
2011-11-28 - 02:40:58z ezust |
The aforementioned change was made by kpouer, so I am assigning to him. |